Experimental and Theoretical Mechanistic Study on the Thermal Decomposition of 3,3-diphenyl-4-(trichloromethyl)-5-nitropyrazoline

The present paper is a continuation of comprehensive study regarding to synthesis and properties of pyrazoles and their derivatives. In its framework an experimental and theoretical studies of thermal decomposition of the 3,3-diphenyl-4-(trichloromethyl)-5-nitropyrazoline were performed. It was found, that the decompositions of the mentioned pyrazoline system in the solution and at the melted state proceed via completely different molecular mechanisms. These mechanisms have been explained in the framework of the Molecular Electron Density Theory (MEDT) with the computational level of B3LYP/6-31G(d). A Bonding Evolution Theory (BET) examination of dehydrochlorination of the 3,3-diphenyl-4-(trichloromethyl)-5-nitropyrazoline permits elucidation of the molecular mechanism. It was found, that on the contrary for most known HCl extrusion processes in solution, this reaction is realised via single-step mechanism.     

对求解非线性方程方法的探索

BaiCL在2001年提出了双曲函数法，并把解设成具体的双曲函数，即sinhw和coshw的线性组合．本文把解设成是由2个函数f(ξ)和g(ξ)组成的线性组合，它们可以有多种取法，从而使方程更直接、更有效．借助数学软件Maple，用改进后的方法和吴文俊消元法，求解Bai C L文中的一个例子，获得了包含Bai文结果在内的更为丰富、精确的行波解．     

利用半导体光放大器进行光脉冲消基座的理论研究

提出了一种利用半导体光放大器(SOA)联合可调谐光滤波器进行高阶孤子压缩消基座的新方法.进行了详尽的理论分析和优化.数值计算表明,在一定条件下,这种方法能够在不展宽脉冲的前提下,对基座进行有效地抑制.     

上升管中强烈段塞流消除方法试验研究

为了消除上升管中强烈段塞流,采用节流和扰动两种方法进行了试验研究。两种方法都能完全消除强烈段塞流, 能使强烈段塞流的发生范围显著减小。节流程度较小时将导致强烈段塞流压力波动更大、周期更长;但扰动法能使压力波动的幅度变小、周期变短。两种方法都使上游管道的压力显著增大,但扰动法产生的背压比节流法产生的背压小。     

无原子布氏代数理论的计算复杂性

研究无原子布氏代数的计算复杂性 .得到了下面的新定理 :定理 1　无原子布氏代数理论Δ具有完全的量词消去法 ,也就是说每一个式子都Δ等价于一个开式子 .定理 2　无原子布氏代数的初等型Γ (x1,… ,xn)是由型内的不含量词的全体开式子所唯一决定 .定理 3　无原子布氏代数的一个长度为 n的语句的判断过程所消耗的 Turing时间和空间都是属于 2 2 cn指数级 .     

The diastereoselective synthesis of functionalised isoxazolidines using a Cope elimination/intramolecular nitrone cycloaddition strategy

Functionalised hydroxylamine derivatives of (S)-prolinol prepared by a Cope elimination have been found to undergo oxidation to the nitrone either in the presence of air or a catalytic quantity of TPAP. These undergo intramolecular cycloaddition to give tricyclic isoxazolidines with high diastereoselectivity.     

Phenol biosensor based on electrochemically controlled integration of tyrosinase in a redox polymer

An amperometric biosensor for the detection of phenolic compounds was developed based on the immobilization of tyrosinase within an Os-complex functionalized electrodeposition polymer. Integration of tyrosinase within the redox polymer assures efficient catechol recycling between the enzyme and the polymer bound redox sites. The non-manual immobilization procedure improves the reproducibility of fabrication process, greatly reduces the desorption of the enzyme from the immobilization layer, and, most importantly prevents fast inactivation of the enzyme by its substrate due to fast redox cycling. A two-layer sensor architecture was developed involving ascorbic acid oxidase entrapped within an electrodeposition polymer in a second layer on top of the redox polymer/tyrosinase layer. Using this sensor architecture it was possible to eliminate the current interference arising from direct ascorbate oxidation up to a concentration of 630 μM ascorbic acid. The effects of the polymer thickness, the enzyme/polymer ratio, and the applied potential were evaluated with respect to optimal sensor properties. The sensitivity of the optimized sensors for catechol was 6.1 nA μM⁻¹ with a detection limit of 10 nM, and for phenol 0.15 nA μM⁻¹ with a detection limit of 100 nM.     

直接求线性规划可行基的一种方法

本文给出直接求线性规划问题基可行解的一种简易方法,该方法既避免了引入人工变量,减少存储,一般又能较快地得到一个较好的基可行解.     

A new convenient synthesis of phenanthrene alkaloids from 1-arylmethyl-1,2,3,4-tetrahydroisoquinolines

Hofmann degradation of 1-arylmethyl-1,2,3,4-tetrahydro-2,2-dimethylisoquinolinium iodides with methanolic KOH gave stilbene derivatives, for example, (E)-N-2{2-[2-(phenyl)ethenyl]-4,5-dimethoxyphenyl}ethyl-N,N-dimethylamine. Photochemical electrocyclization of these stilbenes afforded the corresponding phenanthrene alkaloids/phenanthrene derivatives.     

A Relationship Among Gentzen's Proof-Reduction,Kirby-Paris' Hydra Game and Buchholz's Hydra Game

We first note that Gentzen's proof-reduction for his consistency proof of PA can be directly interpreted as moves of Kirby-Paris' Hydra Game, which implies a direct independence proof of the game (Section 1 and Appendix). Buchholz's Hydra Game for labeled hydras is known to be much stronger than PA. However, we show that the one-dimensional version of Buchholz's Game can be exactly identified to Kirby-Paris' Game (which is two-dimensional but without labels), by a simple and natural interpretation (Section 2). Jervell proposed another type of a combinatorial game, by abstracting Gentzen's proof-reductions and showed that his game is independent of PA. We show (Section 3) that this Jervell's game is actually much stronger than PA, by showing that the critical ordinal of Jervell's game is φ_ω (0) (while that of PA or of Kirby-Paris' Game is φ₁ (0) = ?₀) in the Veblen hierarchy of ordinals.